Discovering Rules to Design Newspapers: An Inductive Constraint Logic Programming Approach

Inductive Logic Programming (ILP) combines both Machine Learning and Logic Programming techniques. ILP uses rst-order predicate logic restricted to Horn clauses as an underlying language. Thus, programs induced by an ILP system inherit the classical limitations of PROLOG programs. Constraint Logic Programming avoids some of the limitations of Logic Programming and so ILP aims to induce programs that employ this paradigm. Current ILP systems which induce constrained logic programs extend systems based on the normal semantics of ILP. In this paper we introduce IC-Log, a new system which induces constrained logic programs and relies on an extension of a non-monotonic semantics-based system. We then present an application of IC-Log in the eld of Computer-Aided Publishing.